🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·1h·
Discuss: Hacker News
💻Programming languages
Rust Language Cheat Sheet
cheats.rs·15h·
Discuss: Hacker News
🦀Rust
Show HN: BinaryRPC – Lightweight WebSocket-based RPC framework in modern C++
github.com·3h·
Discuss: Hacker News
💻Programming languages
Binding Application in Idris
andrevidela.com·1d·
Discuss: Hacker News
💻Programming languages
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🌐Distributed systems
Writing an IR from Scratch and survive to write a post
farena.in·1d·
Discuss: Lobsters
💻Programming languages
[notes] the way we use language
v5.chriskrycho.com·23h
💻Programming languages
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·1d·
Discuss: Hacker News
⚡SIMD Optimization
WebAssembly targets: The Change in Default Target-Features That You Need to Be Aware Of
hackernoon.com·18h
💻Programming languages
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·2d·
Discuss: Lobsters, Hacker News
💻Programming languages
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·1d·
Discuss: Hacker News, r/programming
💻Programming languages
Contemplating Entity Component Architecture (2024)
datavirke.dk·1d·
Discuss: Hacker News
🌐Distributed systems
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·20h·
Discuss: Hacker News
💻Programming languages
LLM Inference Handbook
bentoml.com·1d·
Discuss: Hacker News
💻Programming languages
Ten Simple Rules for Mathematical Writing
web.mit.edu·23h·
Discuss: Hacker News
💻Programming languages
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·1d·
Discuss: Hacker News
💻Programming languages
"high level" languages are easier to optimize
jyn.dev·4h·
Discuss: Hacker News
💻Programming languages
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·1d·
Discuss: Hacker News
🧩Microservices
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·1d·
Discuss: Lobsters, Hacker News
💻Programming languages
Working through 'Writing A C Compiler'
jollygoodsw.wordpress.com·7h·
Discuss: Lobsters, Hacker News
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap